[VMX] Set up GUEST_CR0 as well as CR0_READ_SHADOW when restoring saved
authorTim Deegan <Tim.Deegan@xensource.com>
Tue, 26 Jun 2007 16:54:10 +0000 (17:54 +0100)
committerTim Deegan <Tim.Deegan@xensource.com>
Tue, 26 Jun 2007 16:54:10 +0000 (17:54 +0100)
commit774dab5320b405b32391705a2b54f710209f6ef6
tree12e528eda0d48708efe3bc51cf92150121a8a9c0
parentb1b322eb8b57b4a0f797fab3a533bddc60d782b4
[VMX] Set up GUEST_CR0 as well as CR0_READ_SHADOW when restoring saved
vcpus.  Also simplify the CR3 reload path.
Signed-off-by: Tim Deegan <Tim.Deegan@xensource.com>
xen/arch/x86/hvm/vmx/vmx.c